Characterizing Safety of Integrated Services in Home Network System
نویسندگان
چکیده
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety instructions of individual networked appliances. The global safety is specified as required properties of HNS services, which use multiple appliances simultaneously. The environment safety is derived from residential rules in home and surrounding environments. Based on the safety defined, we propose a modeling/validation framework for the safety. Specifically, we first introduce an object-oriented modeling technique to clarify the relationships among the appliances, the services and the home (environment) objects. We then employ the technique of Design by Contract with JML (Java Modeling Language), which achieves systematic safety validation through testing.
منابع مشابه
Validating Safety for the Integrated Services of the Home Network System Using JML
The home network system (HNS, for short) enables the flexible integration of networked home appliances, which achieves value-added integrated services. Assuring safety within such integrated services is a crucial issue to guarantee a high quality of life in smart home. In this paper, we present a novel framework for the safety of the HNS integrated services. We first propose a way to define saf...
متن کاملConsidering Safety and Feature Interactions for Integrated Services of Home Network System
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three kinds of safety for the HNS integrated services: local safety, global safety, and environment safety. We then present a method that validates safety for integrated service. Finally, we discuss a perspective in how the...
متن کاملImproving Reusability of Hazard Analysis Model with Hazard Template for Deriving Safety Properties of Home Network System
The recent ubiquitous/pervasive technologies allow general household appliances to be connected within the network at home. The home network system (HNS, for short) is comprised of such networked appliances to provide various services and applications for home users. The great advantage of HNS lies in integrating (or orchestrating) features of multiple appliances, which yields more value-added ...
متن کاملResearch on Safety Risk of Dangerous Chemicals Road Transportation Based on Dynamic Fault Tree and Bayesian Network Hybrid Method (TECHNICAL NOTE)
Safety risk study on road transportation of hazardous chemicals is a reliable basis for the government to formulate transportation planning and preparing emergent schemes, but also is an important reference for safety risk managers to carry out dangerous chemicals safety risk managers. Based on the analysis of the transport safety risk of dangerous chemicals at home and abroad, this paper studi...
متن کاملIntegrated Fuzzy Control of Temperature, Light and Emergency Conditions for Smart Home Application
Smart home is composed of several controllers with different plants in control. If each controller works independently, without considering the mutual effect of the others in the control process, the whole system could definitely not converge to an optimum desired status and may not ever reach the demanded condition. The function of different controller system may has conflict In some condition...
متن کامل